Inhalt des Dokuments
Abgeschlossene Bachelorarbeiten
-
Encoding Limited CSP into Extended CCS
Hatzel, Meike
-
Automatic Generation of Refinement Mappings
Brodmann, Paul
-
Formalisierung der Verifikation eines Konsens-Algorithmus mit Isabelle
Rickmann, Christina
-
Formal Modelling of Revision Control Systems
Picker, Marten
-
Erweiterbares Analysewerkzeug für Automatenmodelle
Kuhnert, Joachim
News 15 bis 21 von 21
Abgeschlossene Masterarbeiten
-
A Comparative Study of Face Recognition Methods
Akhlaqi, Aqa Mustafa
-
A Demand-Oriented Concept of Open Data for Afghanistan: Opportunities and Challenges
Ayobi, Rohullah
-
Machine Learning Techniques in Intrusion Detection Systems and Integration in Afghan IT Security Strategy Planning
Aziz, Azizullah
-
A Unified Application-driven Study on Recent Artificial Intelligence Research
Ibrahimy, Haytullah
-
A Blockchain-based Trustless Setup Phase for zkSNARKs
Härtlein, Steffen
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe